Eco–Friendly Dynamic Positioning Algorithm Development

This research used the penalty method to develop a dynamic positioning control algorithm object for the purpose of minimizing the fuel consumption and CO2 gas emissions of an offshore platform. The performance of the penalty method was evaluated by comparing it with other conventional methods such as pseudo-inverse, quadratic programming, and genetic algorithm methods. The optimal performance of the penalty method in minimizing fuel consumption and CO2 emissions in both Gulf of Mexico (GOM) 100-year and one-year storm conditions was compared to pseudo-inverse and quadratic-programming methods. A feed-forward control using second-order wave force direct integration was newly applied in this research. The feed-forward control improved both the position maintenance performance and fuel consumption in Gulf of Mexico 100-year and one-year storm conditions. Global motion performance was compared after placing turrets in two locations (mid-ship and bow) and by using a hull-mooring-riser, fully coupled simulation. The results indicated that the mid-turret design reduces heave motion, even though its horizontal motion is unstable. In addition, the dynamic positioning control enhanced the horizontal motion of the mid-ship turret design. To reduce fish-tailing motion in a tandem offloading operation, the dynamic positioning control was employed. Separated Matrix Method based simulations were conducted on a fully coupled hull, mooring, riser, hawser, and thrusters

IRT5 Probiotics Changes Immune Modulatory Protein Expression in the Extraorbital Lacrimal Glands of an Autoimmune Dry Eye Mouse Model

PURPOSE. While the association between the gut microbiome and the immune system has been studied in autoimmune disorders, little is known about ocular disease. Previously we reported that IRT5, a mixture of five probiotic strains, could suppress autoimmune dry eye. In this study, we investigated the mechanism by which IRT5 performs its immunomodulatory function in a mouse model of autoimmune dry eye. METHODS. NOD.B10.H2b mice were used as an autoimmune dry eye model. Either IRT5 or PBS was gavaged orally for 3 weeks, with or without 5 days of antibiotic pretreatment. The effects on clinical features, extraorbital lacrimal gland and spleen proteins, and fecal microbiota were analyzed. RESULTS. The ocular staining score was lower, and tear secretion was higher, in the IRT5-treated groups than in the PBS-treated groups. After IRT5 treatment, the downregulated lacrimal gland proteins were enriched in the biological processes of defense response and immune system process. The relative abundances of 33 operational taxonomic units were higher, and 53 were lower, in the feces of the IRT5-treated groups than in those of the PBS-treated groups. IRT5 administration without antibiotic pretreatment also showed immunomodulatory functions with increases in the Lactobacillus helveticus group and Lactobacillus hamsteri. Additional proteomic assays revealed a decrease of proteins related to antigen-presenting processes in the CD11b(+) and CD11c(+) cells of spleen in the IRT5-treated groups. CONCLUSIONS. Changes in the gut microbiome after IRT5 treatment improved clinical manifestations in the autoimmune dry eye model via the downregulation of antigen-presenting processes in immune networks.11Ysciescopu

A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework

International audienceProgram analyses often utilize various forms of sensitivity such as context sensitivity, call-site sensitivity, and object sensitivity. These techniques all allow for more precise program analyses, that are able to compute more precise program invariants, and to verify stronger properties. Despite the fact that sensitivity techniques are now part of the standard toolkit of static analyses designers and implementers, no comprehensive frameworks allow the description of all common forms of sensitivity. As a consequence, the soundness proofs of static analysis tools involving sensitivity often rely on ad hoc formalization, which are not always carried out in an abstract interpretation framework. Moreover, this also means that opportunities to identify similarities between analysis techniques to better improve abstractions or to tune static analysis tools can easily be missed. In this paper, we present and formalize a framework for the description of sensitivity in static analysis. Our framework is based on a powerful abstract domain construction, and utilizes reduced cardinal power to tie basic abstract predicates to the properties analyses are sensitive to. We formalize this abstraction, and the main abstract operations that are needed to turn it into a generic abstract domain construction. We demonstrate that our approach can allow for a more precise description of program states, and that it can also describe a large set of sensitivity techniques, both when sensitivity criteria are static (known before the analysis) or dynamic (inferred as part of the analysis), and sensitive analysis tuning parameters. Last, we show that sensitivity techniques used in state of the art static analysis tools can be described in our framework

A Comparison of Dimensional Standard of Several Nickel-Titanium Rotary Files

Objectives The aim of this study was to compare the dimensional standard of several nickel-titanium (Ni-Ti) rotary files and verify the size conformity. Materials and Methods ProFile (Dentsply Maillefer), RaCe (FKG Dentaire), and TF file (SybronEndo) #25 with a 0.04 and 0.06 taper were investigated, with 10 in each group for a total of 60 files. Digital images of Ni-Ti files were captured under light microscope (SZX16, Olympus) at 32×. Taper and diameter at D1 to D16 of each files were calculated digitally with AnalySIS TS Materials (OLYMPUS Soft Imaging Solutions). Differences in taper, the diameter of each level (D1 to D16) at 1 mm interval from (ANSI/ADA) specification No. 101 were statistically analyzed using one-way ANOVA and Scheffe\u27s post-hoc test at 95% confidence level. Results TF was the only group not conform to the nominal taper in both tapers (p \u3c 0.05). All groups except 0.06 taper ProFile showed significant difference from the nominal diameter (p \u3c 0.05). Conclusions Actual size of Ni-Ti file, especially TF, was different from the manufacturer\u27s statements

Third-order exceptional point in an ion-cavity system

We investigate a scheme for observing the third-order exceptional point (EP3) in an ion-cavity setting. In the lambda-type level configuration, the ion is driven by a pump field, and the resonator is probed with another weak laser field. We exploit the highly asymmetric branching ratio of an ion's excited state to satisfy the weak-excitation limit, which allows us to construct the non-Hermitian Hamiltonian $(H_{\textrm{nH}})$. Via fitting the cavity-transmission spectrum, the eigenvalues of $H_{\textrm{nH}}$ are obtained. The EP3 appears at a point where the Rabi frequency of the pump laser and the atom-cavity coupling constant balance the loss rates of the system. Feasible experimental parameters are provided.Comment: 9 pages, 6 figure